Papers with Temporal Logic
Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge (2025.findings-acl)
Copied to clipboard
| Challenge: | Temporal Logic (STL) is a formal specification tool for cyber-physical systems . but it is difficult to transform ambiguous and complex data into STL, a paper argues . |
| Approach: | They propose a NL-STL dataset with 16,000 samples enriched with diverse patterns . they propose KGST framework to transform natural language into STL using a generate-then-refine process . |
| Outcome: | The proposed dataset outperforms baseline models in diversity and accuracy . the proposed dataset contains 16,000 samples enriched with diverse patterns . |
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models (2023.emnlp-main)
Copied to clipboard
| Challenge: | Temporal Logic (TL) can be used to specify complex high-level specifications for systems in many engineering domains. |
| Approach: | They propose a framework for translation between NL and TL using Large Language Models . they use a dataset to create a model with 23K NL-TL pairs and human annotation . |
| Outcome: | The proposed framework achieves higher accuracy (> 95%) using only 10% training data compared with baseline model. |